Barto, Libor: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures

Barto, Libor, Kompatscher, Michael, Olšák, Miroslav, Trung, Van Pham, Pinsker, Michael

Journal:

Journal of Mathematical Logic

Year:

2019

Language:

english

File:

PDF, 370 KB

english, 2019

2

Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures

Barto, Libor, Kompatscher, Michael, Olšák, Miroslav, Trung, Van Pham, Pinsker, Michael

Journal:

Journal of Mathematical Logic

Year:

2019

File:

PDF, 370 KB

2019

3

Congruence modularity implies cyclic terms for finite algebras

Libor Barto, Marcin Kozik, Miklós Maróti, Ralph McKenzie, Todd Niven

Journal:

Algebra Universalis

Year:

2009

Language:

english

File:

PDF, 271 KB

english, 2009

4

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems

Barto, Libor, Kompatscher, Michael, Olsak, Miroslav, Pham, Trung Van, Pinsker, Michael

Year:

2017

Language:

english

File:

PDF, 293 KB

english, 2017

5

Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms

Journal:

Canadian Journal of Mathematics

Year:

2013

Language:

english

File:

PDF, 253 KB

english, 2013

6

CSP dichotomy for special triads

Barto, Libor, Kozik, Marcin, Maróti, Miklós, Niven, Todd

Journal:

Proceedings of the American Mathematical Society

Year:

2009

Language:

english

File:

PDF, 235 KB

english, 2009

7

Mal’tsev conditions, lack of absorption, and solvability

Barto, Libor, Kozik, Marcin, Stanovský, David

Journal:

Algebra Universalis

Year:

2015

Language:

english

File:

PDF, 895 KB

english, 2015

8

Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)

Barto, Libor, Pinsker, Michael

Journal:

SIAM Journal on Computing

Year:

2020

File:

PDF, 445 KB

2020

9

The minimal arity of near unanimity polymorphisms

Barto, Libor, Draganov, Ondřej

Journal:

Mathematica Slovaca

Year:

2019

File:

PDF, 476 KB

2019

10

Finitary set endofunctors are alg-universal

Journal:

Algebra Universalis

Year:

2007

Language:

english

File:

PDF, 130 KB

english, 2007

11

[ACM Press the 40th annual ACM symposium - Victoria, British Columbia, Canada (2008.05.17-2008.05.20)] Proceedings of the fourtieth annual ACM symposium on Theory of computing - STOC 08 - Graphs, polymorphisms and the complexity of homomorphism problems

Barto, Libor, Kozik, Marcin, Niven, Todd

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

12

CSP DICHOTOMY FOR SPECIAL POLYADS

BARTO, LIBOR, BULÍN, JAKUB

Journal:

International Journal of Algebra and Computation

Year:

2013

Language:

english

File:

PDF, 482 KB

english, 2013

13

[ACM Press the 44th symposium - New York, New York, USA (2012.05.19-2012.05.22)] Proceedings of the 44th symposium on Theory of Computing - STOC '12 - Robust satisfiability of constraint satisfaction problems

Barto, Libor, Kozik, Marcin

Year:

2012

Language:

english

File:

PDF, 488 KB

english, 2012

14

The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)

Barto, Libor, Kozik, Marcin, Niven, Todd

Journal:

SIAM Journal on Computing

Year:

2009

Language:

english

File:

PDF, 299 KB

english, 2009

15

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Near Unanimity Constraints Have Bounded Pathwidth Duality

Barto, Libor, Kozik, Marcin, Willard, Ross

Year:

2012

Language:

english

File:

PDF, 317 KB

english, 2012

16

The wonderland of reflections

Barto, Libor, Opršal, Jakub, Pinsker, Michael

Journal:

Israel Journal of Mathematics

Year:

2018

Language:

english

File:

PDF, 345 KB

english, 2018

17

Congruence Distributivity Implies Bounded Width

Barto, Libor, Kozik, Marcin

Journal:

SIAM Journal on Computing

Year:

2010

Language:

english

File:

PDF, 206 KB

english, 2010

18

Constraint Satisfaction Problems Solvable by Local Consistency Methods

Barto, Libor, Kozik, Marcin

Journal:

Journal of the ACM

Year:

2014

Language:

english

File:

PDF, 189 KB

english, 2014

19

The collapse of the bounded width hierarchy

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 221 KB

english, 2016

20

THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA

Journal:

Bulletin of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 191 KB

english, 2015

21

Robustly Solvable Constraint Satisfaction Problems

Barto, Libor, Kozik, Marcin

Journal:

SIAM Journal on Computing

Year:

2016

Language:

english

File:

PDF, 295 KB

english, 2016

22

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - The Dichotomy for Conservative Constraint Satisfaction Problems Revisited

Year:

2011

Language:

english

File:

PDF, 301 KB

english, 2011

23

C,N-Chelated organotin( iv ) azides: synthesis, structure and use within click chemistry

Švec, Petr, Bartoš, Karel, Růžičková, Zdeňka, Cuřínová, Petra, Dušek, Libor, Turek, Jan, De Proft, Frank, Růžička, Aleš

Journal:

New Journal of Chemistry

Year:

2016

Language:

english

File:

PDF, 4.81 MB

english, 2016

24

Cyclic terms for SD⋁varieties revisited

Libor Barto, Marcin Kozik

Journal:

Algebra Universalis

Year:

2010

Language:

english

File:

PDF, 194 KB

english, 2010

25

The category of varieties and interpretations is alg-universal

Journal:

Journal of Pure and Applied Algebra

Year:

2007

Language:

english

File:

PDF, 274 KB

english, 2007

26

[IEEE 2009 IEEE 50th Annual Symposium on Foundations of Computer Science (FOCS) - Atlanta, GA, USA (2009.10.25-2009.10.27)] 2009 50th Annual IEEE Symposium on Foundations of Computer Science - Constraint Satisfaction Problems of Bounded Width

Barto, Libor, Kozik, Marcin

Year:

2009

Language:

english

File:

PDF, 260 KB

english, 2009

27

Deciding absorption

Barto, Libor, Kazda, Alexandr

Journal:

International Journal of Algebra and Computation

Year:

2016

Language:

english

File:

PDF, 395 KB

english, 2016

28

Weakly Terminal Objects in Quasicategories of(mathbb{SET})Endofunctors

Journal:

Applied Categorical Structures

Year:

2005

Language:

english

File:

PDF, 185 KB

english, 2005

29

Finitely related algebras in congruence modular varieties have few subpowers

Journal:

Journal of the European Mathematical Society

Year:

2018

Language:

english

File:

PDF, 260 KB

english, 2018

30

Slices of Essentially Algebraic Categories

Journal:

Applied Categorical Structures

Year:

2009

Language:

english

File:

PDF, 661 KB

english, 2009

31

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - New Conditions for Taylor Varieties and CSP

Barto, Libor, Kozik, Marcin

Year:

2010

Language:

english

File:

PDF, 354 KB

english, 2010

32

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

Barto, Libor, Pinsker, Michael

Year:

2016

Language:

english

File:

PDF, 379 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски